1. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
2. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
3. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
4. Gradle beyond the basics
پدیدآورنده : Tim Berglund
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development,Computer software-- Validation,Computer software-- Verification
رده :
QA76
.
76
.
A65
B47
2013
5. Rigorous software development :
پدیدآورنده : José Bacelar Almeida [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
رده :
QA76
.
76
.
V47
R54
2011
6. Rigorous software development
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification. ; Computer software ; Development. ;
7. Rigorous software development an introduction to program verification
پدیدآورنده : Josae Bacelar Almeida ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software, Verification,، Computer software, Development
رده :
QA
76
.
76
.
V47
R54
2011
8. Rigorous software development : an introduction to program verification
پدیدآورنده : Josف Bacelar Almeida ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Verification ، Computer software,Development ، Computer software
رده :
QA
76
.
76
.
V47
R54
2011
9. Rigorous software development : an introduction to program verification
پدیدآورنده : Jose Bacelar Almeida ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Computer software -- Verification,، Computer software -- Development
رده :
QA
76
.
76
.
V47R5